# typed: true

foo <= 1
